platin: make util.which work with path in cmd

Given an absolute or even relative path, 'which' should just check if the given path is executable. Currently it rejects e.g. the absolute path to a3patmos and I don't see why it should.