Add link information depending on the build target.
Remove map from watched lists.
TopMostUndefined swaps literals without touching watches.
Merge branch 'master' of https://github.com/alviano/wasp
Revert to List where it makes sense: clauses and especially learned clauses.