doc: Split revhistory to separate file for html docs