A heading-up compass for MapLibre GL JS