Swi prolog dev

Added a --devel option to the `swi-prolog.rb` formula