Boards consolidation

This PR merges the https://github.com/RIOT-OS/boards repository into the main RIOT repository as decided on the developer meeting.