Splice ./universe directory into ./

Manually merging:
- README.md: I added the description from universe/README.md into the heading of
  dotfiles/README.md.
- .envrc: dotfiles/.envrc was a superset of universe/.envrc
- .gitignore: Adding some of the ignored patterns from universe/.gitignore to
  dotfiles/.gitignore

Everything else here should be a simple rename.

1 files changed, 0 insertions, 7 deletions

diff --git a/universe/.gitignore b/universe/.gitignore
deleted file mode 100644
index 12ecf28fd42f..000000000000
--- a/universe/.gitignore
+++ /dev/null
@@ -1,7 +0,0 @@
-# Haskell
-*.hi
-*.o
-
-# Python
-__pycache__
-*.class