Add gringo and clasp file