Implemented a new check for arithmetic with Booleans.

This new check raises a warning when two Boolean variables are used within an arithmetic operation.

For example
```
int f(bool a, bool b) {return a + b;}
```