Rename MPS files library/mps/xxx.[ch] to library/mps_xxx.[ch]

Signed-off-by: Hanno Becker <hanno.becker@arm.com>
diff --git a/library/CMakeLists.txt b/library/CMakeLists.txt
index 2c1bccb..220fbf9 100644
--- a/library/CMakeLists.txt
+++ b/library/CMakeLists.txt
@@ -47,8 +47,8 @@
     md4.c
     md5.c
     memory_buffer_alloc.c
-    mps/reader.c
-    mps/trace.o
+    mps_reader.c
+    mps_trace.c
     nist_kw.c
     oid.c
     padlock.c