Install the tesla header files.
Adjust for relocation from ../../strawman and be a bit more user-friendly
by not requiring TESLA_SOURCE_DIR to be set.