Update deploy.sh
* Replace Jenkins with Github Actions for CI * Remove JDK 13 from build matrix Add it back in again once everything else has settled down.