Update changelog and prepare upload to unstable
Update changelog and prepare upload to unstable

ezyang/coq-packaging-precise,ezyang/coq-packaging,ezyang/coq-packaging-precise,ezyang/coq-packaging,ezyang/coq-packaging-precise,ezyang/coq-packaging