add port option to pelican.server
add port parameter to bash script
add port option to Makefile target serve/devserver
Merge pull request #958 from hrbonz/dev_server_port

Dev server port