compcert: add missing semicolon in all-packages.nix