Update options.php

The basic idea is to assign $options array from theme.php to a tab bar. So we can group theme options in tabs. Since tabs can be implemented by <div class="tabs"></div>. Like in settings for example.