Merge pull request #19 from wagh/master

Minor fixes in makedoc.g and doc/clean
@Arguments above @Returns
<Listing Type="Code"><![CDATA[ -> @InsertCode
Intros.g -> Intros.autodoc
converted Horrocks.g to new AutoDoc style
Prepared examples in AutoDoc format