p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper)