v0.1.60: Add maude backend to Kontrol (#125)

* add maude_port flag to functions that call legacy_explore

* make use of --port and --maude-port when starting kontrol

* add target flag to foundry_kompile

* add --target flag to `kontrol build`

* pass target flag to foundry_kompile

* fix bug with Haskell backend

* Set Version: 0.1.54

* add choices flag

---------

Co-authored-by: devops <devops@runtimeverification.com>