improved engine.html.get_attribute() and engine.html.set_attribute()