* add dispatch to debian CI * test dispatch * keep only master * push+mr * document the functional tests