Final changes for release 0.7.0

Make printing of AVUs and ACLs optional
Added manual, built using Sphinx and automake.