Minor updates to the BlocklyRequestHandler and ServerCompilerSettings.py