Non-archimedean string dynamics