Add a build rule to create an Emacs tag file
Disable optimization by default

Optimization is disabled to make debugging easier.
Change the default InfiniBand device name