initial commit

* Populate report.tex with basic packages and theorem styles;
* Populate .gitignore with auto junks;
* Add README.md to make GitHub happy.