Made default extrusion length a setting

Added "extrusion_default" to settings and made it editable via settings
file. Setting is not written back when the user changes it through the
gui.

But in my world, you have nothing to fear.