Bump version number to 0.10.15
Bump version number to 0.10.15

AMICI-developer/AMICI,AMICI-developer/AMICI,AMICI-developer/AMICI,FFroehlich/AMICI,FFroehlich/AMICI,FFroehlich/AMICI,AMICI-developer/AMICI,FFroehlich/AMICI