Explain how to set up a server for development

Add documentation for issue #831, mention devserver.js in the README