make Redactor options customizable via JS

One should define default_options variable in `jquery.redactor.init.js`.
This is useful in case of need to define custom `syncCallback` or `syncBeforeCallback`.