Initial commit
Merge branch 'release-0.7'
Merge remote-tracking branch 'github/master'
Merge branch 'master' into release-0.7
updated READMEs.
Merge branch 'release-0.7' into devel