Change default port of grunt server
Change default port of grunt server

I frequently use the default port 8000 for something else, apart from
that the now hardcoded port 8084 would be open on our American dev
server as well, while 8000 wouldn't.

alpheios-project/arethusa,fbaumgardt/arethusa,PonteIneptique/arethusa,Masoumeh/arethusa,fbaumgardt/arethusa,latin-language-toolkit/arethusa,alpheios-project/arethusa,alpheios-project/arethusa,fbaumgardt/arethusa,PonteIneptique/arethusa,latin-language-toolkit/arethusa,Masoumeh/arethusa