Two different tools for three-dimensional mapping: DE-based scan matching and feature-based loop detection. Issue 1 (19th July 2013)