add arbitrary precision version of LLL with removals, test code, docs, change is_reduced for lattice basis