Standards-compliant library for parsing HTML documents in python