Makefile fixes and file rename patch

This is a pull request for my patch to fix issue #2, to add a "make help" option and to rename the plat/fvp/fvp_* files to plat/fvp/plat_*.