set 8.0.5 release date as Dec 12, AND add note to #3869 version history
item that fix addresses CVE-2013-4255.
Expand examples for VARS use and take the opportunity to make capitalization within
other examples consistent. #4032
Merge branch 'V8_1_3-branch'