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/Makefile b/library/Makefile
index 0fb6eeb..419291a 100644
--- a/library/Makefile
+++ b/library/Makefile
@@ -104,8 +104,8 @@
 	     md4.o \
 	     md5.o \
 	     memory_buffer_alloc.o \
-             mps/reader.o \
-             mps/trace.o \
+             mps_reader.o \
+             mps_trace.o \
 	     nist_kw.o \
 	     oid.o \
 	     padlock.o \