feat(frontends/lean): process theorem statement independently of proof, thus we have the same behavior in sequential and parallel compilation modes, closes #84

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>