install kernel extension, libs, binaries and man pages

this is rather crude, but `make install` doesn't work nor does setting `DESTDIR` along with it