Minor improvements related with Behat and code-style

- Removed support for 5.3.3 because we are using traits
- Added Behat code-coverage extension (only for dev env)
- Added badges