Build option to select triple propagation
Default to the domdeg search heuristic

The domdeg heuristic mostly performs the same as the dom
heuristic, but is better on some test queries.
Add publications in README