Pulse has migrated into F*

Pulse is now a core part of F*!

You can follow the instructions in the F* repository to build F* and it will include Pulse by default. The releases and nightly builds will also include it.