v14 Architecture update and reservation

New features
- Additional https://bmafreeapp.azurewebsites.net free-tier version of BMA added to run in parallel
- There is a hosting change as part of this to a prepaid reservation.
- Client can now check which server it is connected to from settings
- Team members update
- Publications update
Bugfixes
- Decimals not handled in formulae inputs, added message
- Fixed popup bug caused by stability analysis error
- Standalone console updated to z3 version 4.11.2 (gui-server already on this)