boinc: update to version 7.2.42, new nixos service