Install a few more useful tools