Adding portal_list.pl helper utility, moving a few files around