Switch to use CodeMirror 3.0

  - Add trimmed down codemirror 3.0 package
  - Move elm specific changes from CodeMirror 2.13
  - Update editor css according to upgrade guide
  - Make compile script executable under unix/linux
  - Git ignore ghc output and Server executable