Uniqueness of optimal curves over F2 of small genus