eclingo: A solver for Epistemic Logic Programs