Run idris server when idris file is read