Improve CI for Windows and portable Docker container (#1248)
Improve CI for Windows and portable Docker container (#1248)

* Disable Windows RPC tests

They seem to hang instead of failing at the moment, so until we get them
working it seems like it's better to just leave them out.

* Attempt to make "portability" build only run nightly.
GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol