The ILASP system for Inductive Learning of Answer Set Programs