An extension of libspacemouse, a free software driver for 3D/6DoFinput devices