tests/gnrc_netif: Fix -Wformat-overflow

Fixes the following error with GCC 7

main.c: In function 'test_netif_get_name':
main.c:1054:23: error: 'sprintf' may write a terminating nul past the end of the destination [-Werror=format-overflow=]
     sprintf(exp_name, "if%d", (int)netif);
                       ^~~~~~
main.c:1054:5: note: 'sprintf' output between 4 and 9 bytes into a destination of size 8
     sprintf(exp_name, "if%d", (int)netif);
     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

 Makefile.include: Include VERSION file for release

When downloading the release archive and building an example, the RIOT_VERSION string is not set to "Version 2018.04" but to
    
    Version: UNKNOWN (builddir: /home/me/Downloads/RIOT-2018.04)

This allows sourcing a global VERSION file to manually set it before releases.

make: introduce common Python lib path

boards*: documentation cleanup

- Cleanup brief description to be consistent with other boards
- Move general documentation in doc.txt

- Cleanup brief description to be consistent with other boards
- Move general documentation in doc.txt

Display brief description instead of link to the wiki

Display brief description instead of copyright

- display brief description instead of copyright
- add a reference to the 'real' documentation, otherwise it's empty

cpu/cc2538: refine periph/spi implementation

Introduce dist/pythonlibs directory to store RIOT python packages.
This directory is exported via PYTHONPATH by the build system to
make it commonly available.

    Rework SPI periph driver to use proper RIOT GPIO API functions.
    Also cleanup header files by using vendor defines and remove
    obsolete code. Further, adapt board config accordingly.

    Introduces a define to inidicate an unused function parameter.

makefiles/buildtests.inc.mk: allow overwriting make output redirection

gnrc_ipv6_nib: fallback to SLAAC if ARO is ignored by upstream

make: add APPDIR to info-build target

    While info-build already provides lots of useful information
    it does not print the application source dir. However this
    might be useful for debugging and logging, hence its added
    to the output.

tests: remove echo=False

drivers/sdcard_spi: fix uint64_t cast location

Linux doesn't have ARO support at the moment so this is a workaround to
try to speak 6Lo-ND while still being able to do DAD with a border
router that doesn't.

When compiling `tests/drivers_sdcard_spi` with `avr-gcc: avr-gcc (GCC) 6.4.0`
it detected this error

    RIOT/drivers/sdcard_spi/sdcard_spi.c:1012:72:
    error: result of '512 << 10' requires 21 bits to represent, but 'int' only has 16 bits [-Werror=shift-overflow=]
    return (card->csd.v2.C_SIZE + 1) * (uint64_t)(SD_HC_BLOCK_SIZE << 10);

When running tests, I often needed to modify `buildtests.inc.mk` to see the
actual errors/standard output.
This allows overwriting the default redirection of both to `/dev/null`.
It is low level and directly given to the command execution.

As it is interpreted by make, it can even be overwritten using build system
variables:

    'BUILDTEST_MAKE_REDIRECT=>/tmp/buildtest.$${board}.out 2>&1'

boards/b-l475e-iot01a: configure second I2C and on-board sensors (lis3mdl, lsm6dsl and hts221)

kinetis: uart: fix unused-function warning

When compiling with LLVM (should also be seen `-Wunused-function` in
GCC), I get an error for `frdm-k22f`. This should fix that.

net/gcoap: Make references to coap_resource_t all const in gcoap

tests/gnrc_netif: enable CI tests

gnrc_ipv6_nib: make automatic NDP packet emission (NS/RS) configurable

drivers/hdc1000: change renew_interval to a parameter

This test doesn't test NDP behavior so emissions of NDP neighbor and
router solicitations is more harming than helpful. Because of that I
disabled it for this test.

boards/nucleo-f091rc: add i2c configuration