Move doc generation into doc/sphinx and man