Update bootstrap.php

Added the timer include, so the developers who are going to use this plugin don't need to add manually the timer.php file.