rename project to satt

symbiotic-benchmarks was a temporary name anyway. Moreove, we'd like
to use this tool not only with symbiotic, but with some other tools too.

Signed-off-by: Marek Chalupa <mchqwerty@gmail.com>