only install package not yet installed

This way it is possible to run the `devel` script with the `--no-chroot` option without requiring `sudo` - at least if all dependencies are already there.

@tfoote Please review.