Revise docs in DmfDeviceController.save_dmf_device
Fix #133.  Update device name on save-as/rename

Update device name when performing `Device > Save As` or `Device >
Rename`.  Note that the prior to this commit, the underlying device was
actually being updated in both the `Save As` and `Rename` scenarios, but
the name change was simply not being reflected in the GUI.
Merge branch 'ticket_133' into as_python_package