doc/manual: put back the manual in the main repository