enforces explicit call of pip3 else user's default pip is used which can cause trouble.
changes from upstream.
fixes alignment.
adds /share/ to .gitignore.
Merge branch 'master' of github.com:joschabach/micropsi2
Merge branch 'master' of github.com:joschabach/micropsi2
adds activation setter for gates.
Merge branch 'master' of github.com:joschabach/micropsi2