Committing the header files.

They had accidentally been excluded from earlier commits.
Merge branch 'dev' of https://github.com/mmalek93/pintos-gmt into dev