checaTempo: jeito mais elegante de matar um processo que demora demais

A maneira anterior nao funcionava para alguns problemas.