Market bug fixes

* Removed: the bot manager application which is 1°) not working anymore and 2°) not very understandable
* Fixed: the spinner that wasn't working when the application was loading the permission from the application repository
* Fixed (the bug that turned me crazy recently): when an application requires a lot of permissions, the "install" button was hidden
* Very small change for disclaimer background: for an unknown reason, the background color was different (white instead of egg white).