update bindings to add KS_OPT_SYM_RESOLVER. Python binding now supports this option. see sample.py for example