added LICENSE and batch file for making main.pdf