Revert "Include tools in the debian package"

This reverts commit bf29d12d94df117da94149ad37c619bc889b6aab.