Merge branch 'master' into next_version

README.md

conf/properties.json

push_subtrees.sh

src/vitis/.gitignore

src/vitis/vas/rest/ws/vitis/Properties.class.inc

utils/copy_hooks.bat

utils/get_deps.sh

utils/init_symlinks.sh

utils/init_tree.bat

utils/pull_subtrees.sh

utils/push_subtrees.sh

utils/update_tree.bat