cyber-dojo new release

The new release of cyber-dojo just went live :-)

• the setup start-points are now decoupled from the server and can be customized.
• the manifest.json format has changed accordingly.
• the instructions for running your own cyber-dojo server are new.