Document how to deploy dbreps to Toolserver and Tools.