Add version
command to cryptol-remote-api
#1547
Merged
version
command to cryptol-remote-api
#1547