Update version number to 0.5.

spec/bounds_safety/checkedc.tex

@@ -131,8 +131,8 @@
 \mbox{ }\\
 \vspace{2in}
 {\huge Extending C with bounds safety \par}
-%{Version 0.4 (March 6, 2016) \par}
+{Version 0.5 (June 14, 2016) \par}
-{Version 0.5 - Draft as of \today \par}
+%{Version 0.6 - Draft as of \today \par}
 \vspace{0.5in}
 {Checked C Technical Report Number 1 \par}
 \vspace{0.25in}