Added minitex project and dependencies