Move away from port 8080 which is occupied on some boxes
Merge pull request #678 from hintjens/master

Move away from port 8080 which is occupied on some boxes