Add assign1 from miplib to test problems.
Test SIGINT.