Fixes to type propagation of arithmetic expressions

[robinmaisch]

Concerning #1444 (and more small problems came up when dealing with it):

• BinaryOperators with the operator code %, ||, &&, and >>> are now typed correctly. I could verify that the propagation is valid for the first three in all supported languages, and for >>>, the left operand type is used, like with the other bit shift operators.
• Java float literals, indicated by the flag f or F, now get the FloatingPointType for floats instead of doubles. The JavaParser library does not differentiate between float and double literals, so a manual check is necessary.
• the type propagation of BooleanType binary operations is now included in arithmeticOpTypePropagation, as BooleanType is a subclass of NumericType.
• simplified the resulting logic of propagateTypeOfBinaryOperation a bit, as arithmeticOpTypePropagation can already handle invalid cases
• Modified a test that fails under Windows because of hardcoded Linux path separators
• Added a test for the above changes
• Added a test file for the test

[CLAassistant]

All committers have signed the CLA.

[konradweiss]

LGTM