Configuration: fix InvalidConfigurationKey exception message
bwian.php: fix whitespace error
travis-ci: let's see if the stuff works with different php interpreters