ard.lua: Add Ard.height_from function