nophead/Mendel90 — pull request #50 by philfifi (2014-07-30 10:24:44+00:00)
Title: Fix the hole length for hot end screws.

In case extension is > 0 (with short hot ends), the screw holes
were to short and didn't go to the nut.

Adding the length of the extension to the screw length keep the
hole length on top of the nut constant whatever the hot end length.