$options can now be used in bootstrap

Without this change, defining a $options variable in the bootstrap will break Paratest.