Start server when idris file is read