Added mysql/get_class_numbers.php: Returns unique class numbers from CLASS database

Signed-off-by: Arthur R. Wuterich <arthurwut@gmail.com>