Text Encoding Initiative tools and extensions for Sanskrit manuscripts