Move various files into misc/
Merge branch 'master' into issue4-console-properties