* src/vmcore/options.c (options_xx): Integrated vmlog options handling.

* src/vmcore/options.c (options_xx): Integrated vmlog options handling.
* src/vm/vm.c (vm_create): Changed vmlog init interface.
* src/cacaoh/dummy.c (vmlog_cacao_set_prefix, vmlog_cacao_set_stringprefix,
vmlog_cacao_set_ignoreprefix): Dummies added.
* contrib/vmlog/vmlog.h, contrib/vmlog/vmlog.c, contrib/vmlog/vmlog_cacao.h,
contrib/vmlog/vmlog_cacao.c: Changed vmlog init interface.

--HG--
branch : edwin-replacement
extra : transplant_source : %F0%0C%E3%E5%7C%FB%E4%19%97J%E3%7D%EFNt%E6IP%16%9E