Moves options.php to /lib/functions where it belongs.