Added xsilon to microblaze default configs
Added xsilon command line option definitions