Make some header-installing machinery, and use it to install gmp.h