Add prompt option for IEx