Getting Agda up and running

TLDR : Agda + VSCode for HoTT summer school.