Dev sticker

Add a sticker to the bottom-left corner of the development site to
differentiate it from the live site. Relies on the development site
having a .dev domain.
Search form

Use get_search_form to include the search form.
Dev tools

Remove devsticker.png and host it locally. Move the .dev conditional
into functions.php and use the proper method to enque the dev tools
script and stylesheet. Create the development div using javascript
instead of php.
Merge branch 'dev_tools'
Dev tools

Tweaked the handle for wp_enqueue_style for the dev tools.
Dev Tools

Move the dev tools into a seperate plugin.