Describir: Program Analysis for Software Engineers and Students