Offer consistently named attributes for the two available flex versions.
maude: use old flex version; the new one causes build errors

This issue has been fixed in the latest alpha release.
all-packages.nix: drop trailing whitespace