Adding progs and .gitignore