Merge remote-tracking branch 'origin/master' into real_triples
Merge branch 'real_triples' of https://github.com/tjim/smpcc into real_triples
Finished writing code for DO10-like triples. Not tested yet.