New DXF files for printing and such

As well as dimension changes, so that we can laser cut stuff with
offsets.