Changed Foq's minimum version requirement to 1.5.1

Related to #240.