Removing man conversion script and man folder. Putting it instead in the debian git repository