fix goolfc version to 1.3.12

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>
add Rgputools in the goolf version

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