r.carve: adding the option to read width, depth values from vector map table columns

r.carve: adding the option to read width, depth values from vector map table columns #2361