Improvements in gl diff
gl diff diffs all tracked files with modifications if no files are given as input
Changed interface of checkout, now the commit point is passed with -cp. (Default to HEAD.)
Updated release notes