Make generated gmp and boost install configuration optional.