Add queue_head (#7) · Issues · algorithmique / lib_2021_malaspinas / queue