Mention gmx_install_headers() in the developer manual