Add arxiv version of cav16.

bibs/header.bib

@@ -555,8 +555,12 @@
 % ---
 @STRING{cav96       = cav # ", New Brunswick, New Jersey" }
 @STRING{cav02       = cav # ", Copenhagen, Denmark" }
+@STRING{cav03       = cav # ", Boulder, Colorado" }
 @STRING{cav07       = cav # ", Berlin, Germany" }
+@STRING{cav11       = cav # ", Snowbird, Utah" }
+@STRING{cav12       = cav # ", Berkeley, California" }
 @STRING{cav13       = cav # ", Saint Petersburg, Russia" }
+@STRING{cav15       = cav # ", San Francisco, California" }
 @STRING{cav16       = cav # ", Toronto, Ontario" }
 % ---
 @STRING{cp          = "International Conference on Principles and Practice of
@@ -646,6 +650,7 @@
 @STRING{ppdp12      = ppdp # ", Leuven, Belgium" }
 % ---
 @STRING{rta03       = rta # ", Valencia, Spain" }
+@STRING{rta05       = rta # ", Nara, Japan" }
 % ---
 @STRING{randapx13   = randapx # ", Berkeley, California" }
 % ---
@@ -665,6 +670,8 @@
 @STRING{tacs01      = tacs # ", Sendai, Japan" }
 % ---
 @STRING{tacas06     = tacas # ", Vienna, Austria" }
+@STRING{tacas08     = tacas # ", Budapest, Hungary" }
+@STRING{tacas16     = tacas # ", Eindhoven, The Netherlands" }
 % ---
 @STRING{tapsoft93   = tapsoft # ", Orsay, France" }
 @STRING{tapsoft97   = tapsoft # ", Lille, France" }

bibs/myrefs.bib

@@ -51,7 +51,8 @@
   booktitle = cav16,
   year    = 2016,
   jh      = yes,
-  docs    = yes,
+  eprint  = yes,
+  url     = {https://arxiv.org/abs/1605.02765},
   note    = {To appear.}
 }
 

content/news.md

@@ -1,3 +1,5 @@
++ **05/2016** Our preprint **Synthesizing probabilistic invariants via Doob's
+  decomposition** is now available on `arXiv`.
 + **05/2016** Our preprint **Differentially private Bayesian programming** is
   now available on `arXiv`.
 + **04/2016** Our paper **Synthesizing probabilistic invariants via Doob's