Add support to profile tribler by setting PROFILE_TRIBLER