iOS 7 support

These commits fixe few bugs when running on iOS7.
They also provide a small refactoring of the UI to adapt it to the new flat style.