removed missing waher-theme and patched up js3 and coffee-mode