Merge pull request #16 from math-comp/MCB-no-progress-no-more MCB is done
add an itp 2019 paper
added an itp 19 paper