Read-only files, default dsl/php, minor fixes

Open/close generated files as read-only
Specify default dsl or php opened on example load
SandboxProxy missing Content-length headers
Updated examples