update to Isabelle2013
.gitignore 'hsenv' related files
remove reference to deleted IsaMakefile
Update changelog, e-mails, and version bump to 0.7.0.0