Platform: Add support for AN519 FPGA

 - Add platform specific files to an519 platform directory:
      drivers, register definitions, startup codes, scatter files
 - Add Config*.cmake files for the new target
 - Update documentation of supported platforms
 - Update compiler flags necessary for Cortex-M23 build
 - Add core_cm23.h to cmsis directory

Change-Id: I1519e1ed284dc4f3bc321a0f119d75168e200656
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>
diff --git a/ConfigCoreTest.cmake b/ConfigCoreTest.cmake
index 6118ec6..7045d2b 100644
--- a/ConfigCoreTest.cmake
+++ b/ConfigCoreTest.cmake
@@ -13,6 +13,8 @@
 	message(FATAL_ERROR "ERROR: TARGET_PLATFORM is not set in command line")
 elseif(${TARGET_PLATFORM} STREQUAL "AN521")
 	set(PLATFORM_CMAKE_FILE "${CMAKE_CURRENT_LIST_DIR}/platform/ext/Mps2AN521.cmake")
+elseif(${TARGET_PLATFORM} STREQUAL "AN519")
+	set (PLATFORM_CMAKE_FILE "${CMAKE_CURRENT_LIST_DIR}/platform/ext/Mps2AN519.cmake")
 else()
 	message(FATAL_ERROR "ERROR: Target \"${TARGET_PLATFORM}\" is not supported.")
 endif()