Add hoogle export
Add some dot files