Add role_exists to migration tools

Add a permissions tool method "role_exists"

Sometimes there are users who delete core phpBB roles, and when they try to install an extension that sets permissions on that deleted role, all the migration currently does is throw an exception which causes the install to fail. And that causes support requests for the author.

A role exists method would allow the ext author to check if a role esists before setting a permission on it:

array('if', array(

    array('permission.role_exists', array('ROLE_USER_STANDARD')),

    array('permission.permission_set', array('ROLE_USER_STANDARD', 'u_foo')),

)),