drop GCC/4.8.0

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>
bump gmp version to v5.1.2

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>