Built 05c9adc successfully
in 2m3s

Updated apps that rely on file selection

The editor doesn't use openfile.lua anymore, the main shell is updatedto use filepicker.filePicker's new format. Also, updated the editor touse resources/VeraMono.ttf instead of its own copy, which was deleted.