Bump developer tools

Bumping tools used for developing as with new updates they become faster, catch more errors, fixes some bugs etc..

assigned to @mzebrak

added Review label

requested review from @wkedzierski

changed the description

approved this merge request

mentioned in issue #162 (closed)

marked this merge request as ready

changed milestone to %9th release

merged

mentioned in issue #161 (closed)

mentioned in merge request !326 (merged)