Kernel basis: add profile

[vneiger]

This adds a profile file and consolidates the testing file for kernel bases (through the creation of a dedicated is_kernel function).

Some current timings:

*********************************
*  left kernel of 5 x n matrix  *
*********************************

bits fun rdim cdim deg
50   #0  5    1    2       7.31e-06
50   #0  5    1    5       2.13e-05
50   #0  5    1    10      6.02e-05
50   #0  5    1    20      1.62e-04
50   #0  5    1    40      3.35e-04
50   #0  5    1    80      8.44e-04
50   #0  5    1    160     1.95e-03
50   #0  5    1    320     4.65e-03
50   #0  5    1    640     1.06e-02
50   #0  5    1    1280    2.40e-02
50   #0  5    1    2560    5.68e-02
50   #0  5    1    5120    1.31e-01
50   #0  5    1    10240   2.96e-01
50   #0  5    4    2       4.77e-05
50   #0  5    4    5       1.07e-04
50   #0  5    4    10      2.34e-04
50   #0  5    4    20      7.58e-04
50   #0  5    4    40      2.13e-03
50   #0  5    4    80      5.81e-03
50   #0  5    4    160     1.56e-02
50   #0  5    4    320     3.94e-02
50   #0  5    4    640     1.03e-01
50   #0  5    4    1280    2.54e-01
50   #0  5    4    2560    5.96e-01
50   #0  5    4    5120    1.44e+00
50   #0  5    4    10240   3.40e+00
50   #0  5    10   2       7.78e-05
50   #0  5    10   5       1.67e-04
50   #0  5    10   10      3.89e-04
50   #0  5    10   20      1.10e-03
50   #0  5    10   40      2.91e-03
50   #0  5    10   80      7.83e-03
50   #0  5    10   160     2.00e-02
50   #0  5    10   320     5.00e-02
50   #0  5    10   640     1.26e-01
50   #0  5    10   1280    3.00e-01
50   #0  5    10   2560    7.38e-01
50   #0  5    10   5120    1.77e+00
50   #0  5    10   10240   4.13e+00

***********************************
*  left kernel of 100 x n matrix  *
***********************************

50   #0  100  1    2       1.59e-03
50   #0  100  1    5       4.14e-03
50   #0  100  1    10      1.32e-02
50   #0  100  1    20      7.94e-02
50   #0  100  1    40      3.15e-01
50   #0  100  1    80      9.59e-01
50   #0  100  1    160     2.81e+00
50   #0  100  1    320     7.49e+00
50   #0  100  99   2       6.86e-02
50   #0  100  99   5       3.35e-01
50   #0  100  99   10      1.21e+00
50   #0  100  99   20      4.33e+00
50   #0  100  99   40      1.41e+01
50   #0  100  50   2       1.16e-02
50   #0  100  50   5       3.58e-02
50   #0  100  50   10      1.07e-01
50   #0  100  50   20      4.44e-01
50   #0  100  50   40      1.55e+00
50   #0  100  50   80      5.85e+00
50   #0  100  50   160     2.11e+01
50   #0  100  200  2       6.23e-02
50   #0  100  200  5       2.38e-01
50   #0  100  200  10      7.26e-01
50   #0  100  200  20      2.89e+00
50   #0  100  200  40      9.75e+00