Allow to export the events in Agenda to Google/Apple Calendar

[Bri74]

[fulcorno]

This is probably a server-side functionality: the server should publish ad .ics or CalDav endpoint, by merging all the agenda sources.
This would also simplify the logic of the app, since the information merging would happen server-side