Enable platforms to omit some bootloaders 

This supersedes the pull request for tixy-issue-30-v2. It addresses Dan's comments to update the user-guide and provide an error message when trying to build a FIP without a BL33.