Add DDoc-generation and pushing support to travis build