Update changelog and prepare upload to experimental
Update changelog and prepare upload to experimental

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