Grid Map – Universal grid map library for mobile robotic mapping