Adding makefile and req.ltl file