Release and Deploy fixes (#554)

* Jenkinsfile: re-enable Arch release

* Jenkinsfile: consolidate variables used, correct URLs

* Jenkinsfile: correct package path

* Jenkinsfile: deploy GitHub pages from separate checkout

* Jenkinsfile: correct directory for Dockerfile

* Jenkinsfile: add PACKAGE variable for mac packaging

* Jenkinsfile: add ROOT_URL parameter

* package/PKGBUILD: update package name kframework => kframework-git

* Jenkinsfile: disable Arch build

* Jenkinsfile, INSTALL: disable MacOS build

Author: ehildenb

INSTALL.md

@@ -6,7 +6,6 @@ Current supported systems are:
 
 -   Ubuntu Bionic (18.04)
 -   Debian Buster
--   Mac OS X Mojave
 
 Downloading Packages
 --------------------
@@ -25,15 +24,6 @@ Install the package with (`X.Y.Z` is version number, `ID` is platform identifier
 sudo apt install ./kevm_X.Y.Z_amd64_ID.deb
 ```
 
-### Mac OS X Mojave
-
-Tap the `kframework/k` bottle then install the downloaded `kevm` bottle:
-
-```sh
-brew tap kframework/k "file:///$(pwd)"
-brew install "kevm--X.Y.Z.mojave.bottle.tar.gz" -v
-```
-
 Building Packages
 -----------------