add "encoding" option to ElementTreeProperty
supplement doc