Fix #475: Add setting to enable/disable emission of source maps