EIQP: Execution-time-certified and Infeasibility-detecting QP Solver with a colab demo - View it on GitHub