Include new proof files for Non_empty_string.v and Entrypoint_repr.v.
Non_empty_string.v
Entrypoint_repr.v