Allow non-integer margin in stage_dem and stage_watermask#121

gmgunter wants to merge 1 commit intoisce-framework:developisce-framework/isce3:developfrom

gmgunter:stage-dem-margin-floatgmgunter/isce3:stage-dem-margin-floatCopy head branch name to clipboard