Add basix documentation