Bug 1061801 - profile.sh should support symbol.api.

The "-s" option now accepts an url, which tells that we want to use a
symbol server API for symbols resolution.