cryptol-remote-api changes for the entire server and all states

[pnwamk]

cryptol-remote-api uses setCurrentDirectory to support the change directory command. This invalidates any other state expecting a different working directory, including new connections which wish to start working from the initial state.

[pnwamk]

Proposed solution: remove change directory from the Cryptol server, and instead rely on the CRYPTOLPATH for making loads more convenient/relative.

[weaversa]

Proposed solution: remove change directory from the Cryptol server, and instead rely on the CRYPTOLPATH for making loads more convenient/relative.

I second this solution.