Fix Makefile on OS X

tar on OS X didn't like

    tar -c file -zf file.tar.gz

but does accept

    tar -czf file.tar.gz file

Also added an option to use a different SSH user.

(cherry picked from commit 879b6e3b8fc43a69ac29b3ae4e222a24b9316dd1)
Fix a mistake in the user guide section order

(cherry picked from commit 42edc3f9e2d98aa919d95f8dc3fabdb77a9342e0)
Fix cabal repl handling of Ctrl-C

(cherry picked from commit c37f032d5b57c8a02fc2e12718bf223508300927)
Unbreak the build on Windows.

Broken by #1535.

(cherry picked from commit 940079ca3d25676d978dcd7636bb30569f77e0b8)
Remove specific username from Makefile

(cherry picked from commit db92d945961edec9b2e01ea81cf5dfc24f6ae0a2)
Default Makefile SSH-USER to USER

(cherry picked from commit b29327b5cefb6b1de5604fc1ad538e2bd8193652)
Bump Cabal version number in Makefile to 1.18.1.1
Rename SSH-USER to SSH_USER for consistency

(cherry picked from commit 33bb790fedbe9ad4aca693b4906fb21b054dffba)