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.
Merge pull request #389 from walac/bug-1061801

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