Revision 3213

Update ansible scripts with github.

Update ansible scripts with default for MasterPortal, which includes branding
and css for the sshkeys portal. This requires also a new patch to provide the
EGI-specific text on those jsp pages.