Minor fixups for the 8.0.0 release

* By default, don't compile against `libgmp` even if it's available
* Fix a dependency issue with the `/opt/boxen/rbenv/versions` symlink
* Use `RUBY_CONFIGURE_OPTS` for 1.8.7 builds