debian packaging nearly complete. Now includes the other tools. Removed the docs package