STAR-loc: Dataset for STereo And Range-based localization - View it on GitHub