Add coq-8.6-wishlist