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.
Merge pull request #419 from eldir/master

Made default extrusion length a setting