upp: ubuntu 14.04 ISO grub
drop support for ubuntus 13.04 and earlier
adjust settings for Ubuntu 14.04
don't special-case ubuntu 13.10 for gnome keyboard layout settings
tweak condition for copying ssh keys
ubuntu 14.04 wallpaper
update set-wallpaper.py for ubuntu 14.04
lint javadoc Java 8
Merge remote-tracking branch 'upstream/master'