Pocket prof support

[uthuluc]

    if ($familiar[pocket professor].familiar_is_usable());
{
    int lectures_used = get_property_int("_pocketProfessorLectures");
    string name = lectures_used + " Pocket Professor lectures used";
    string [int] description;
    string image_name = "";

    description.listAppend("Sausage goblins, ninja snowman assassin, ghosts, or something else...?");

    string url = "";

    if ($familiar[pocket professor].familiar_is_usable())
    {
        image_name = "pocket professor";
    }

    if (!($familiars[Frumious Bandersnatch, pocket professor] contains my_familiar()))
        url = "familiar.php";

    resource_entries.listAppend(ChecklistEntryMake(image_name, url, ChecklistSubentryMake(name, "", description)));
}

    if ($familiar[pocket professor].familiar_is_usable());
{
    int thesis_used = get_property_int("__thesisDelivered");
    string name = thesis_used + " Pocket Professor thesis delivered";
    string [int] description;
    string image_name = "";

    description.listAppend("+11 advs from 1,300 HP monster.");

    string url = "";

    if ($familiar[pocket professor].familiar_is_usable())
    {
        image_name = "pocket professor";
    }

    if (!($familiars[Frumious Bandersnatch, pocket professor] contains my_familiar()))
        url = "familiar.php";

    resource_entries.listAppend(ChecklistEntryMake(image_name, url, ChecklistSubentryMake(name, "", description)));
}

//The thesis one doesn't work. Sorry.