Ada backend: added support for operators floor, ceil, round, and trunc
Ada backend: added cos, sin and sqrt
Merge remote-tracking branch 'upstream/master' into benchmarks