FMA release version 5.1.0

This version of the FMA attempts to update version 5.0.0 to make it consistent under EL reasoning (tested in ELK).

Further information about the changes made can be found in: docs/Fixing_reasoning_in_the_FMA_revised.pdf