Change name of Functions to App (when no one is editing anything: avoid conflicts)

[AlejandroLoutphi]

Don't do this until we're sure no one is editing anything so we can avoid GitHub conflicts

We'll stick with the name Functions for now