Query Quality Prediction and Reformulation for Source Code Search: the Refoqus Tool