add copyright
speed up folding actions
Merge branch 'develop' of https://github.com/AKSW/Xturtle.git into develop
remove duplicate proposals where label equal to name
Merge branch 'develop' of https://github.com/AKSW/Xturtle.git into develop
add environments for target platform