Add prophyle compile
Add prophyle compile

closes #239


Former-commit-id: a0f444d93daf5a4d5dcab846c9eb4b3fcb196bfc
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle