Update submodules
update-submodule.sh: Switch to master before merging/rebasing
Add newtheorem label support in AucTeX