Major fixes that do not fit in one line

* shortest_aug_path() returns something
* fix leda2boost() so it can find the randomly chosen vertices in the leda graph
* change forgotten function signatures
the main bin needs the sap object too, dummy