New RIOT Release (2018.07)

The latest RIOT-OS release 2018.07 was just published.

Further information on this release are Github: https://github.com/RIOT-OS/RIOT/releases/tag/2018.07