Closes #79 - Rename platform_api.h to platform.h

* suffix `_api` is unusual, removed
* fixed all includes

platform/vc709/src/platform_vc709.cpp

@@ -35,7 +35,7 @@ extern "C" {
 }
 	
 #include "platform_errors.h"
-#include "platform_api.h"
+#include "platform.h"
 #include "buddy_allocator.hpp"
 
 #ifdef __cplusplus

platform/zynq/src/platform_address_map.c

@@ -21,7 +21,7 @@
  *  @brief	Implementation for platform API address calls.
  *  @author	J. Korinth, TU Darmstadt (jk@esa.cs.tu-darmstadt.de)
  **/
-#include <platform_api.h>
+#include <platform.h>
 
 platform_ctl_addr_t platform_address_get_slot_base(
 		platform_slot_id_t const slot_id,

platform/zynq/src/platform_zynq.c

@@ -21,7 +21,7 @@
 //!		loadable kernel module. Communicates with the Zynq fabric via 
 //!		device driver.
 //! @authors	J. Korinth, TU Darmstadt (jk@esa.cs.tu-darmstadt.de)
-//! @version	1.1
+//! @version	1.2
 //! @copyright  Copyright 2014, 2015 J. Korinth
 //!
 //!		This file is part of Tapasco (TPC).
@@ -54,7 +54,7 @@
 #include <assert.h>
 #include <module/zynq_platform.h>
 #include <module/zynq_ioctl_cmds.h>
-#include <platform_api.h>
+#include <platform.h>
 #include <platform_errors.h>
 #include "platform_logging.h"