add gitignore for coq
finish the Basics chapter. All problems finished except the optional decreasing problem