Support for running RIOT in native64.

Same board as native, but compiled for 64-bit instead of 32-bit. Currently only Linux x86-64 is supported. Otherwise, everything works the same as for the 32-bit version. For more information on this board, see the native board documentation.