boinc: update to version 7.2.42, new nixos service

Maybe boinc should run as "boinc" user? The more services running as "nobody" makes the nobody account more and more privileged :-)