fixes #2 - Makefile fixes, "make help" and renaming fvp_* files

This pull request is for patches to:
- fix issue #2
- tidy up the spacing in the various makefiles
- add a "make help" option
- rename platform fvp_* files