add PORT option to documentation server

So you can run documentation server on other port