adding binary strings in python