testcases made camera-ready
install-instructions updated