MAKEOBSNAMES MySQL PROCEDURE

Added a procedure (in the MySQL database) that created the obnm entries.