pypy: 2.2.1 -> 2.3.1
Allow to keep visudo. Useful for checking sudoers syntax
Enable checking sudoers syntax. Fixes #2850, probably.
muen: Add derivation
gnat: Update to gcc 4.8
spark-ada: Add derivations