JDK switcher script

Requires existing links to actual JDK directories at ~/.local/jdk7 and
~/.local/jdk8