Add README.md and CC BY-SA 3.0 license notes

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>