add drracket:default-filters and drracket:default-extension support
use drracket:default-filters and drracket:default-extension in datalog