Add platforms to git ignore for now--for public github sensitivity.