mini-os: Added make install target

This installs libminios.a, the linker script, the headers and a
pkg-config file to locate them.
mini-os: Removed unused (and missing) header
mini-os: Expose opt_console_dev and xenstore_buf for Mirage