Add setting (Settings -> General) to show filename extensions

Fixes #1905