Added MPIR and Singular projects for Kaiserslautern.