added theory update site to target platform
Merge branch 'develop' into feature/disprover