update *properties* to use *xobstack* module
Merge remote-tracking branch 'origin/master'

Conflicts:
	properties.c
fix a bug temporarily on `properties.c`
removed some warnings in `xerror`
better layout for printing addresses in `xerror`
add a GDB backtrace feature in `xerror`