Updated unstable version number
Read the names of the marked files from a file
Merge branch 'master' into personal
Merge branch 'marks-from-file' into personal