density_filter A filter for 2D laser scans that increases the angular resolution by interpolating consecutive measurements