hyp drive http default port clash with ipfs

ipfs uses 8080, so this is maybe not the best default port to use since the audience for ipfs and hyperdrive is very overlapping. 8080 is also a common port for local development.