Customizable heights for walls and doors#430

mxgrey wants to merge 7 commits into

mainopen-rmf/rmf_site:mainfrom

heightsopen-rmf/rmf_site:heightsCopy head branch name to clipboard