Remove benito code from the main repo.
Benito is now a submodule.