Update muPDF
Only update via external upstream information: nead to specify version format
Update sysdig
Update firejail
Fix the version
Update sodium to 1.0.0
Update SCons
Update Wine unstable
Add Linux 3.17
CompCert: update to 2.4