Add link to official barvinok online interface