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.