update the hol-light README
uncapitalise lem-generated theories in hol-light Holmakefile
Merge branch 'master' into print-types