Updated for release
Fancier checkInstall (finds gmp)
More work on documentation
Older versions navigation :) :)
Updating history navigation :)
Some site updates :)
Merge branch 'asm-misc'
Slight adjustments to configure.ac