Add curl option CURLOPT_SSL_VERIFYHOST=FALSE to ignore
SSL certificate for kattis.
Fix some issues in import-XMLfeed script:
- use XPath for more precise node selection
- drop single-time used function
- use $run DOM node instead of old $subm array
- allow 0.1 sec mismatch in submission time