The merge is done.

I also checked the wiki documentation and removed all traces of the old synergy.

It doesn't. Only the link to the page is removed. The page was deleted manually.

Looks good to merge!

I had a look at the wiki documentation, and I think once the "Synergy" page is
gone, traces of the synergy in the documentation will be gone. The OptionSyntax
page doesn't discuss it, so that's fine.

I'm not sure if removed "luginTypePlugins automatically lead to their wiki page
being deleted. My guess is that they don't, in which case we should delete it
manually after the buildbot has updated the documentation.

I addressed all of the comments.

@Malte: Could you also have a look into the code so I can merge it? I would like
to skip the FIFO-queue since there are some issues waiting for this to be merged.

I left some minor comments on Bitbucket.

I removed the old synergy object. Could someone take a look at the pull request?

https://bitbucket.org/cgeissmann/downward/pull-requests/6/

issue717 is merged, so this one is ready to be tackled.

Wait for issue717 to be merged. If this is done we can remove the old
implementation of the Lama-Synergy