core: slightly changed symbolic design (follow function boolean), continue to implement determine next addrs feature
core: improve symbolic execution, add a visitor to evaluate the value from an expression, add new method for os module to execute symbolically a symbol (usually a function) ; os_windows: start to handle symbolic effect of a stdcall function
core: improve evaluate visitor to handle address
core: configuration model can now contain string and path (untested)
core: configuration field for type path/string should be fixed, add int8/16/32/64 field for configuration ; ui_qt: support/fix new field type
core: find a bug in the implementation of symbolic execution
Merge branch 'dev' of https://github.com/wisk/medusa into wisk-dev

Conflicts:
	CMakeLists.txt
Merge branch 'wisk-dev' into dev

dev
Merge branch 'dev' into addpdb