ww2.5.1.3

I'm issuing this pull request to mgage/webwork2-dev/ww2.5.1.3 because if I issue the pull request to openwebwork then there are a bunch of your commits that come along with it and I don't know if you want those in there.