1) New vmm_extension() macro for registering bareflank extensions to the
build system from build configuration file
2) New VMM extension-specific config variables and extension-specific macros
3) Added vmm_ex.cmake to be included by all Bareflank extensions
4) Updated build system documentation
[RFC] #545
Signed-off-by: JaredWright <jared.wright12@gmail.com>