Redirect http://zverovich.net/ampl/doc to http://ampl.github.io