web: Use gulp.js to inject configuration variables

Configuration variables are located in config.js. It may be edited directly, or
environment variables may be given to gulp:
	SERVER_ADDRESS="http://myserver:33668/" gulp