Add functions for fetching ScalaCheck from Maven Central in nix build