Complete the makefile so that make compiles petitghc