Add HOWTO, enable server port customization

It's also a good thing I didn't use a serious password in database.py...