Use 'main.tex' as main file if it exists

It seems reasonable (at least to me) to call the main file simply `main.tex`.
I added a check for the existence of this file to the strategies to identify the main file.