changing version of precompiled hex

The old version was 0.8c. New build (2013-12-07) should increment to denote change.

I dont' have access to the downloadable .hex, but it's filename will need to be changed as well.