Add Continuous Integration note; update supported platform details
Add Continuous Integration note; update supported platform details
Merge branch 'master' into debian-master