Bluetooth Murphi Starter File and Makefile