check if jaguar is already in $PATH before appending to it during install on windows

[mess-maker]

hi,

jaguar on windows add its path on windows $PATH multiple times if you leave checked the option "add to path" during install
it should check if already present before adding it

[Florian Loitsch]

Turns out, it wasn't respecting the check-box either...