Added writeTypeTag option to serialize function

The following commits from your working branch will be included:

commit 6c57238c99293dbb5783ea405120d863ffacf2c9
Author: Markus Holzemer <markus.holzemer@gmx.de>
Date:   Mon Nov 17 16:59:49 2014 -0800

    Added writeTypeTag option to serialize function

Change-Id: I252f96942a7bedfcc3633a07ad02793c278660ed
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/180
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
1 file changed