Add symlink method to util.opener.
Differences from os.symlink:
- the symlink name is relative to the opener base directory
- if a file with that name already exists, it's removed
- if necessary, parent directories are created
- if the system (OS or filesystem) doesn't support symlinks, a
regular file is created. Its contents are the symlink target.
Fixed double slash for doc install path introduced by using $DESTDIR (
issue620)
$MANDIR already is an absolute path so the extra / isn't needed.