added Integer_Theory as import for Character_Template.co
deleted unnecessary files
added gitignore files
Merge pull request #1 from yushan87/master

Changes to the workspace
deleted more unnecessary files
Merge pull request #2 from yushan87/private

deleted more unnecessary files