MPFI 1.5.4

Main trunk (version 1.5.4) of the MPFI library from the original Subversion repository, accessed at https://gforge.inria.fr/scm/?group_id=157 on 1st July 2021.

Many Subversion files have been removed, but no actual source code is modified in this Git release.