Various improvements and modernizations

This is an over-large commit sequence that does several things we needed or wanted for the Flamingos project. See the individual commits for details.

Feel free to take any or all of this, editing as you choose: please let me know if there's anything I can do with it.

Thanks much for Scip!