Add a few more examples to continuous integration.

1f4ad208 · Guillaume Melquiond · f086a68c · 1f4ad208
Commit 1f4ad208 authored Sep 11, 2018 by Guillaume Melquiond
--- a/examples/reduced_regtests.list
+++ b/examples/reduced_regtests.list
+binary_sort
 counting_sort
+finite_tarski
+insertion_sort
+kmp
 leftist_heap
-binary_sort
 mergesort_array
+rightmostbittrick
+sieve
+vstte10_max_sum
+warshall_algorithm