mini-os: Added make install target

This installs libminios.a, the linker script, the headers and a
pkg-config file to locate them.