Remove dev tools which are not installed and unmaintained anyways

Some might return as proper tools or be used as examples within the website
documentation sooner or later.
9 files changed