Added known extensions: OverloadedLists, EmptyCase, AutoDeriveTypeable, NegativeLiterals, NumDecimals, NullaryTypeClasses
Merge pull request #1453 from patrick-premont/Issue1412

Added known extensions: OverloadedLists, EmptyCase, AutoDeriveTypeable, ...