Simplify default.nix and shell.nix

Created by  Eelco Dolstra  on June 17, 2020
7S7LDQR4G5PYJVP7ULHG5PZPCTWSIXPATZBVU7WWM5URK5Y4L6VQC
Change contents