More common utilities. For #118, allow APK to RUN prog from res.

Also moved Saved and InitialProgramSize from Basic to Editor.java.