Configuration files

Configuration is now done by the top-level Makefile and web interface. The instructions below are no longer necessary.