Fix a release of the current github repo

This is a starting point for the github release sequence. It corresponds to FIASCO v. 5.4 and FIAT v. 5.3.0 from the old release sequence on stats.cmu.edu/~fiasco