added definition partial_injections (without algorithmic counterpart for now), replaced left_total_on by library reuse
* globally renamed revenue → value
* redefined possible_allocations_rel wrt. injections
* non-computational definition of nVCG auction
* more documentation