script to build cyber-dojo server on digital-ocean