use SHLIB_EXT for all GMP easyconfigs

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>
use SHLIB_EXT for all MPFR easyconfigs

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>
fix TopHat homepage and source_urls since page moved