Switched to relative paths.
Merge branch 'rel_paths' of https://github.com/zieglerflorian/minisat into developer