Add push function (#5) · Issues · algorithmique / lib_2021_malaspinas / stack