Merge pull request #444 from smowton/emacs_config

Add emacs config

Author: Daniel Kroening

src/.dir-locals.el

@@ -0,0 +1,4 @@
+((c-mode . ((indent-tabs-mode .  nil)))
+ (c++-mode . ((indent-tabs-mode . nil)))
+ (nil . ((c-file-style . "linux")
+	 (c-basic-offset . 2))))