Added section discussing the integration with Infandango. This is a bit short because the details will be discussed in the implementation chapter