Ubuntu/Debian enablement and small fixes

The fix to the optionList in devicemapper.py makes the options functional but introduce a new bug : the dstroot variable is no longer valid. I will work on this next to propose a fix