Modified Makefile 'install' target.

Default action for `$ make install` is to:

1. purge directory of `ibc` files.
2. build and install `idris`.